home *** CD-ROM | disk | FTP | other *** search
/ Shareware Grab Bag / Shareware Grab Bag.iso / 090 / pctjja86.arc / SPEED1.PRO < prev    next >
Text File  |  1985-11-13  |  151b  |  7 lines
  1. /* Speed test with a one-rule rule base */
  2. test(X) :- Y is X-1,
  3.            Y > 0,
  4.            test(Y).
  5. ?- nl,nl,write('Starting...'),test(1000).
  6.  
  7.